It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...